1. Calculus of computation
پدیدآورنده : / Aaron R. Bradley, Zohar Manna.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computer logic,Computer programs--Verification
رده :
QA76
.
9
.
L63
,
B73
2010
2. Mathematical theory of computation
پدیدآورنده : Manna, Zohar
موضوع : ، Electronic digital computers -- Programming,، Debugging in computer science
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Mathematical theory of computation
پدیدآورنده : Manna, Zohar.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Debugging in computer science
رده :
QA
76
.
6
.
M356
4. Mathematical theory of computation
پدیدآورنده : / Zohar Manna
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming,Debugging in computer science
رده :
001
.
6425
M282
5. Studies in automatic programming logic
پدیدآورنده : Manna, Zohar.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Automatic programming )Computer science(,، Computer programs
رده :
QA
76
.
6
.
M357
6. Temporal verification of reactive systems: safety
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer software-- Verification,، Parallel processing )Electronic computers(
رده :
QA
76
.
76
.
V47
.
M36
1995
7. The Temporal Logic of Reactive and Concurrent Systems :
پدیدآورنده : by Zohar Manna, Amir Pnueli.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
6
B996
1992
8. The deductive foundations of computer programming: a one-volume version of the logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35
9. The logical basis for computer programming
پدیدآورنده : Manna, Zohar.
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
۶ نسخه از این کتاب در ۵ کتابخانه موجود است.
10. The logical basis for computer programming
پدیدآورنده : Manna, Zohar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
11. The temporal logic of reactive and concurrent systems
پدیدآورنده : Manna, Zohar
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3564
1991
12. Time for Verification
پدیدآورنده : / Zohar Manna, Doron A. Peled
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
13. Time for Verification: Essays in Memory of Amir Pnueli
پدیدآورنده : / Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
